#ifndef T1_WDT_H_
#define T1_WDT_H_

#include "iodef.h"

typedef struct {
        __IO uint32_t WDT_LOAD;         /* Watchdog load register */
        __IO uint32_t WDT_VAL;          /* The current value for the watchdog counter */
        __IO uint32_t WDT_CTL;          /* Watchdog control register */
        __IO uint32_t WDT_ICLR;         /* Clears the watchdog interrupt */
        __IO uint32_t WDT_RIS;          /* Watchdog raw interrupt status */
        __IO uint32_t WDT_MIS;          /* Watchdog masked interrupt status */
        __IO uint32_t Reserved[(0xC00-0x18)/4];
        __IO uint32_t WDT_LOCK;         /* Watchdog lock register */
}wdt_reg_t;

#define WDT     ((wdt_reg_t *)T1_WDT_BASE)

#endif /* T1_WDT_H_ */
